翻訳と辞書
Words near each other
・ Strider
・ Strider (2014 video game)
・ Strider (arcade game)
・ Strider (NES video game)
・ Strider (novel)
・ Strider 2
・ Strider Academy
・ Strider Farm
・ Strider Hiryu
・ Strider II
・ Strider Knives
・ Strider Rock
・ Strider SMF
・ Strict liability
・ Strict liability (criminal)
Strict logic
・ Strict Machine
・ Strict nature reserve
・ Strict nature reserves of Finland
・ Strict programming language
・ Strict scrutiny
・ Strict snake eel
・ Strict Tempo!
・ Strict-feedback form
・ Strictamine
・ Stricteripus
・ Strictfp
・ Strictinin
・ Strictispira coltrorum
・ Strictispira drangai


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Strict logic : ウィキペディア英語版
Strict logic

Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as
* ordinary logic without Disjunction introduction, or
* linear logic with contraction.
==See also==

* Substructural logic


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Strict logic」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.